jade.content.abs
Class AbsVariable

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsTerm
              |
              +--jade.content.abs.AbsVariable

public class AbsVariable

extends AbsTerm

Author:

Federico Bergenti - Universita` di Parma

See Also:

Serialized Form

Constructor Summary

AbsVariable()
Constructor

AbsVariable(java.lang.String name, java.lang.String typeName)
Construct a variable with a name and a type of name typeName.

Method Summary

java.lang.String	getName() Gets the name of the variable.
java.lang.String	getType() Gets the name of the type of the variable.
void	setName(java.lang.String name) Sets the name of the variable.
void	setType(java.lang.String name) Sets the name of the type of the variable.

Methods inherited from class jade.content.abs.AbsObject

dump, dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbsVariable

public AbsVariable()

Constructor

AbsVariable

public AbsVariable(java.lang.String name,
                   java.lang.String typeName)

Construct a variable with a name and a type of name typeName.

Parameters:

name - name of the variable.

typeName - name of the type of the variable.

Method Detail

setName

public void setName(java.lang.String name)

Sets the name of the variable.

Parameters:

name - name of the variable.

setType

public void setType(java.lang.String name)

Sets the name of the type of the variable.

Parameters:

name - the name of the type of the variable.

getName

public java.lang.String getName()

Gets the name of the variable.

Returns:

the name of the variable.

getType

public java.lang.String getType()

Gets the name of the type of the variable.

Returns:

the name of the type.